Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:
Em teoria da computabilidade, o teorema da recursão de Kleene é um par de resultados fundamentais sobre a aplicação de funções computáveis para suas próprias descrições. Os teoremas foram inicialmente provados por Stephen Kleene em 1938.
Os dois teoremas da recursão podem ser aplicados para construir pontos fixos de certas operações sobre funções computáveis, para gerar quines, e para construir funções definidas através de definições recursivas.